|
|
Automated technology for verification and analysis : , 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, proceedings /
Publication:
Berlin : Springer, 2010
. xix, 404 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated deduction, CADE-20 : , 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings /
Publication:
Berlin : Springer, 2005
. xiii, 457 p. :
24 cm.
Date:2005
Availability:
Copies available:
AUM Main Library
(3),
|
|